Modeling and Verification of a Multi-Agent Argumentation System using NuSMV

摘要

Autonomous intelligent agent research is a domain situated at the forefrontof artificial intelligence. Interest-based negotiation (IBN) is a form ofnegotiation in which agents exchange information about their underlying goals,with a view to improve the likelihood and quality of a offer. In this paper wemodel and verify a multi-agent argumentation scenario of resource sharingmechanism to enable resource sharing in a distributed system. We use IBN in ourmodel wherein agents express their interests to the others in the society togain certain resources.